The SPRD will automatically open as the air pressure in the duct system increases, in order to prevent the reduction of air flow and excessive noise and velocity through the duct system.
当管道系统空气压力增加时,SPRD会自动开启,以防止管道系统中空气流动的减少和过度噪音和速度。
But for a multi time scale power system, existence and fundamental characteristics of fast manifolds must also be studied in order to obtain the model reduction condition of fixing slow dynamics.
但对于多时间尺度的电力系统模型降阶问题而言,还必须研究快流形的存在性及其基本特征,以给出固定系统慢动态的降阶条件。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题,它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
应用推荐